Experiments in Rapid Prototyping of Reactive Systems with POLIS
ثبت نشده
چکیده
This paper presents the experiments designed in order to validate our previously proposed methodology that uses POLIS as a co-design environment for reactive systems and two prototyping boards that use two different microcontrollers as SW components. On one hand, we reviewed the manually profiled SW cost parameters by using test tools. On the other hand, we have tried several applications on the two different platforms, focusing on different optimizing goals. By doing this, we have checked the suitability of the platforms and its range of application. Several weaknesses of POLIS are identified related to the adaptation to the characteristics of each microcontroller.
منابع مشابه
Prototype-Based Tests for Hybrid Reactive Systems
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end of both validating the model and also verifying an actual system. In the automotive domain many systems are reactive and exhibit continuous as well as discrete dynamics. This leads to an explosion of the model state spa...
متن کاملAn Integrated Hardware-Software Cosimulation Environment with Automated Interface Generation - Rapid System Prototyping, 1996. Proceedings., Seventh IEEE International Workshop on
We present a hardware-software cosimulation environment f o r heterogeneous systems. To be an eficient system veriJication environment for the rapid prototyping of heterogeneous systems, the environment provides following features: interface transparency, smooth transition to cosynthesis, simulation acceleration, and integrated user interface and internal representation. Among them, thejrst two...
متن کاملA Formal Approach to Reactive System Design: Unmanned Aerial Vehicle Flight Management System Design Example
This paper presents a formal methodology for the design, implementation and validation of reactive systems. The methodology has been applied to the design of a Flight Management Systems (FMS) for a model helicopter in the BEAR project[9]. POLIS[2], a design tool developed at the University of California at Berkeley, is extensively used. The automation of the design problem and the validation te...
متن کاملApplication of the Extreme Learning Machine for Modeling the Bead Geometry in Gas Metal Arc Welding Process
Rapid prototyping (RP) methods are used for production easily and quickly of a scale model of a physical part or assembly. Gas metal arc welding (GMAW) is a widespread process used for rapid prototyping of metallic parts. In this process, in order to obtain a desired welding geometry, it is very important to predict the weld bead geometry based on the input process parameters, which are voltage...
متن کاملAn Approach to the Design of Networked Embedded Systems
The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on appl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001